eval [options-1] <Root-Class> <Root-Procedure> [options-2]

Command `eval' is the SmallEiffel interpretor debugger.
No C code is generated and the given Eiffel system is immediately 
interpreted (as a Smalltalk program can be).
Usualy, it is enougth to replace command name `compile' with command 
name `eval' to run a program immediately. For example, typing : 

   eval hello_world make

should run the hello_world basic program. 

- Note - Most Unix users may need to type `${SmallEiffel}/bin/eval'
instead `eval' because of clash name with the csh `eval' built-in. 
As it is difficult to find a nice name (unused on all systems) and 
as I am an old LISP user's, I like the name `eval' and I don't want
to change it ! 
Unix users can also use an alias to avoid this name clash.
I am sorry for Unix users, but I am sure they will enjoy enougth 
`eval' to pass on.

As for commands `compile' and `compile_to_c', the starting execution 
point of the system is given using arguments <Root-Class> and 
<Root-Procedure>.

There are two options list, one before the starting execution point
([options-1]) and one after ([options-2]).
The first list, [option1] is given to 'eval' itself and the second 
one, [options-2] is the command arguments list for the system to 
run.

Arguments for `eval' (given in [options-1]) are often the same as 
arguments you can give to `compile' or `compile_to_c'.

1- Option to select the level of checking -

-boost : no assertion checking at all.

-no_check : same as -boost (just here for uniformity with 'compile' 
   and `compile_to_c' commands).
-require_check : Switch on checking of preconditions (require).
-ensure_check : Similar to the previous mode but also switch on 
   checking of postconditions (ensure).
-invariant_check : Similar to the previous mode, but switch on the 
   class invariant checking.
-loop_check : Similar to the previous one, but also includes loop 
   variant and loop invariant.
-all_check : The default mode. Similar to the previous one, but also 
   includes code for the check instruction.
-debug_check : Similar to the previous one, but also includes code 
   for the debug instruction. 
   All debug are checked regardless of the string optional key.



